Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems

نویسندگان

  • Marcello Balduccini
  • Edward Griffor
  • Michael Huth
  • Claire Vishik
  • Martin Burns
  • David Wollman
چکیده

It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the issues associated with their design, deployment, and operations. The US National Institute of Standards and Technology (NIST), through a public working group, has released a CPS Framework that adopts a broad and integrated view of CPS and positions trustworthiness among other aspects of CPS. This paper takes the model created by the CPS Framework and its further developments one step further, by applying ontological approaches and reasoning techniques in order to achieve greater understanding of CPS. The example analyzed in the paper demonstrates the enrichment of the original CPS model obtained through ontology and reasoning and its ability to deliver additional insights to the developers and operators of CPS. 1 ar X iv :1 80 3. 07 43 8v 1 [ cs .C R ] 2 0 M ar 2 01 8

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Utilizing Ontological Classification Systems and Reasoning for Cyber-Physical Systems

This work presents a novel ontology-based approach for the complementation of technical specifications of cyber-physical system components using ontological classification and reasoning. We build on the AutomationML standard and outline how data represented with it can be transformed into an RDF instance graph. We exemplarily show how complementary information about a component’s functionality,...

متن کامل

Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems

Our work is concerned with the development of Model-Based Systems Engineering (MBSE) procedures for the behavior modeling and design of Cyber-Physical Systems. This class of problems is defined by a tight integration of software and physical processes, the need to satisfy stringent constraints on performance, safety and a reliance on automation for the management of system functionality. To ass...

متن کامل

Markov Task Network: A Framework for Service Composition under Uncertainty in Cyber-Physical Systems

In novel collaborative systems, cooperative entities collaborate services to achieve local and global objectives. With the growing pervasiveness of cyber-physical systems, however, such collaboration is hampered by differences in the operations of the cyber and physical objects, and the need for the dynamic formation of collaborative functionality given high-level system goals has become practi...

متن کامل

Assessing the genuineness of events in runtime monitoring of cyber systems

Monitoring security properties of cyber systems at runtime is necessary if the preservation of such properties cannot be guaranteed by formal analysis of their specification. It is also necessary if the runtime interactions between their components that are distributed over different types of local and wide area networks cannot be fully analysed before putting the systems in operation. The effe...

متن کامل

A Semantic Model for Cyber Security

Smart Grid security is challenging as experts in both IT Security and ICS [Industrial Control Systems] systems are few. Expertise in multiple domains is needed, and tools that can be used to analyze smart grid systems during the design phase are nonexistent. We used Semantic Web Technology to create an ontology that is capable of reasoning about security attributes. We used SADL (Semantic Appli...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2018